. EXPRESSION : An ADL for System
نویسندگان
چکیده
| We describe EXPRESSION, a language supporting architectural design space exploration for embedded Systems-on-Chip (SOC) and automatic generation of a retargetable compiler/simulator toolkit. Key features of our language-driven design methodology include: a mixed behavioral/structural representation supporting a natural speci cation of the architecture; explicit speci cation of the memory subsystem allowing novel memory organizations and hierarchies; clean syntax and ease of modi cations supporting architectural exploration; a single speci cation supporting consistency and completeness checking of the architecture; and e cient speci cation of architectural resource constraints allowing extraction of detailed reservation tables for compiler scheduling. We illustrate key features of EXPRESSION through simple examples and demonstrate its e cacy in supporting exploration and automatic software toolkit generation for an embedded SOC codesign ow.
منابع مشابه
The Effect of High Temperature Treatment on Wheat Streak Mosaic Virus Resistance and Certain Resistance-Related Chemicals in Bread Wheat
Background and Aims: To evaluate the effect of temperature on wheat streak mosaic virus (WSMV) resistance phenotype, through total protein, phenol, and peroxidase activity in bread wheat, a factorial experiment was conducted using Adl-Cross (resistant) and Marvdasht (susceptible) cultivars. Materials and Methods: Results showed that incubation at 32C changed the gene expression for resistance ...
متن کاملAlternating-time dynamic logic
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators are parametrised with regular expressions over coalitions and tests. Such regular expressions describe the dynamic structure of a coalition. This means that, when moving from Dynamic Logic to ADL, the focus shifts away...
متن کاملPlasticity of chemoreceptor gene expression: Sensory and circuit inputs modulate state-dependent chemoreceptors
Animals dramatically modify their chemosensory behaviors when starved, which could allow them to alter and optimize their food-search strategies. Dynamic changes in the gene expression of chemoreceptors may be a general mechanism underlying food and state-dependent changes in chemosensory behaviors. In our recent study,(1) we identified chemoreceptors in the ADL sensory neuron type of C. elegan...
متن کاملHDLGen: Architecture Description Language driven HDL Generation for Pipelined Processors
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. System architects critically need modeling techniques to rapidly explore and evaluate candidate architectures based on area, clock frequency, power, and performance constraints. We present an exploration framework for ...
متن کاملExpression of an Innate Immune Element (Mouse Hepcidin-1) in Baculovirus Expression System and the Comparison of Its Function with Synthetic Human Hepcidin-25
Hepcidin is an innate immune element which decreases the iron absorption from diet and iron releasing from macrophage cell. In contrast to the chemical iron chelators, there has been limited effort applied to the specific use of hepcidin as a new drug for decreasing the iron overload. Hepcidin is produced in different biological systems. For instance, E-coli is used for human hepcidin expressio...
متن کاملExpression of an Innate Immune Element (Mouse Hepcidin-1) in Baculovirus Expression System and the Comparison of Its Function with Synthetic Human Hepcidin-25
Hepcidin is an innate immune element which decreases the iron absorption from diet and iron releasing from macrophage cell. In contrast to the chemical iron chelators, there has been limited effort applied to the specific use of hepcidin as a new drug for decreasing the iron overload. Hepcidin is produced in different biological systems. For instance, E-coli is used for human hepcidin expressio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998